101. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
102. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
103. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
پدیدآورنده: W. Kuich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
104. Automata theiry : machines and languages
پدیدآورنده: / Richard Y. Kain
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Machine theory,Formal languages,Mathematical linguistics
رده :
001
.
53
K13a
105. Automata-theoretic aspects of formal power series
پدیدآورنده: Salomaa, Arto, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
106. Automata theory: Machines and languages
پدیدآورنده: Kain, Richard Y.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K3A9
107. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
108. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
109. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
110. Automata theory : machines and languages
پدیدآورنده: Kain, Richard Y
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
111. Automata theory: machines and languages
پدیدآورنده: Kain, Richard Y.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
112. Automatentheorie und formale Sprachen
پدیدآورنده: Hotz, Gunter
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Formal languages,، Machine theory
رده :
QA
267
.
H6
113. Combinatorics on traces
پدیدآورنده: Diekert, Volker
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
114. Combinatorics on traces
پدیدآورنده: Diekert, Volker, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
115. Communication and concurrency
پدیدآورنده : Milner, Robin
موضوع : ، Machine theory,، Formal languages
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
116. Communication and concurrency
پدیدآورنده: Milner, R.)Robin(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
M533
1989
117. Communication and concurrency /
پدیدآورنده: Robin Milner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
118. Communication and concurrency
پدیدآورنده: Milner, Robin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
M533
119. Communication & concurrency
پدیدآورنده: MILNER,ROBIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
